Narciso Martí-Oliet: البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 9.86 MB

0 / 4.0

english, 1999

2

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

عام:

1999

اللغة:

english

ملف:

DJVU, 2.64 MB

0 / 0

english, 1999

3

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

عام:

2008

اللغة:

spanish

ملف:

EPUB, 1.16 MB

0 / 0

spanish, 2008

4

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

عام:

2008

اللغة:

spanish

ملف:

AZW3 , 3.87 MB

0 / 0

spanish, 2008

5

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

عام:

2008

ملف:

LIT , 3.23 MB

0 / 0

2008

6

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

عام:

2008

اللغة:

spanish

ملف:

MOBI , 3.31 MB

0 / 0

spanish, 2008

7

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

عام:

2008

اللغة:

spanish

ملف:

FB2 , 5.53 MB

0 / 0

spanish, 2008

8

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

عام:

2007

اللغة:

english

ملف:

PDF, 5.51 MB

0 / 0

english, 2007

9

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 10.14 MB

0 / 0

english, 2002

10

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Springer International Publishing;Springer

Santiago Escobar, Narciso Martí-Oliet

عام:

2020

اللغة:

english

ملف:

PDF, 5.57 MB

0 / 0

english, 2020

11

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

عام:

2015

اللغة:

english

ملف:

PDF, 17.75 MB

0 / 0

english, 2015

12

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 5.79 MB

0 / 0

english, 2013

13

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Springer International Publishing

Christiano Braga, Narciso Martí-Oliet (eds.)

عام:

2015

اللغة:

english

ملف:

PDF, 4.79 MB

0 / 0

english, 2015